Computational Randomness and Lowness

نویسندگان

  • Sebastiaan Terwijn
  • Domenico Zambella
چکیده

We prove that there are uncountably many sets that are low for the class of Schnorr random reals. We give a purely recursion theoretic characterization of these sets and show that they all have Turing degree incomparable to 0 0. This contrasts with a result of Ku cera and Terwijn 5] on sets that are low for the class of Martin-LL of random reals. The Cantor space 2 ! is the set of innnite binary sequences; these are called reals and are identiied with subsets of !. If 2 2 <! , that is, is a nite binary sequence, we denote by ] the set of reals that extend. These form a basis of clopen sets for the usual discrete topology on 2 !. Write jj for the length of 2 2 <!. The Lebesgue measure on 2 ! is deened by stipulating that ] = 2 ?jj. With every set U 2 <! we associate the open set S 2U ]. When it is convenient, we confuse U with the open set associated to it, in particular we write U for the measure of the open set corresponding to U. We use the following abbreviation for the measure conditioned to :

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Lowness for Bounded Randomness Rod Downey and Keng

In [3], Brodhead, Downey and Ng introduced some new variations of the notions of being Martin-Löf random where the tests are all clopen sets. We explore the lowness notions associated with these randomness notions. While these bounded notions seem far from classical notions with infinite tests like Martin-Löf and Demuth randomness, the lowness notions associated with bounded randomness turn out...

متن کامل

Lowness for Computable Machines

Two lowness notions in the setting of Schnorr randomness have been studied (lowness for Schnorr randomness and tests, by Terwijn and Zambella [19], and by Kjos-Hanssen, Stephan, and Nies [7]; and Schnorr triviality, by Downey, Griffiths and LaForte [3, 4] and Franklin [6]). We introduce lowness for computable machines, which by results of Downey and Griffiths [3] is an analog of lowness for K. ...

متن کامل

Lowness for Weak Genericity and Randomness

We prove that lowness for weak genericity is equivalent to semicomputable traceability which is strictly between hyperimmune-freeness and computable traceability. We also show that semi-computable traceability implies lowness for weak randomness. These results refute a conjecture raised by several people.

متن کامل

Lowness for uniform Kurtz randomness

We propose studying uniform Kurtz randomness, which is the uniform relativization of Kurtz randomness. One advantage of this notion is that lowness for uniform Kurtz randomness has many characterizations, such as those via complexity, martingales, Kurtz tt-traceability, and Kurtz dimensional measure.

متن کامل

Lowness for Difference Tests

We show that being low for difference tests is the same as being computable and therefore lowness for difference tests is not the same as lowness for difference randomness. This is the first known example of a randomness notion where lowness for the randomness notion and lowness for the test notion do not coincide. Additionally, we show that for every incomputable set A, there is a difference t...

متن کامل

Randomness and lowness notions via open covers

One of the main lines of research in algorithmic randomness is that of lowness notions. Given a randomness notion R, we ask for which sequences A does relativization to A leave R unchanged (i.e., RA = R)? Such sequences are call low for R. This question extends to a pair of randomness notions R and S , where S is weaker: for which A is S A still weaker than R? In the last few years, many result...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Symb. Log.

دوره 66  شماره 

صفحات  -

تاریخ انتشار 2001